package Runde5;

public interface TreeIter<A> extends Iter<A> {
	
	/**
	 * @postcondition Returns a new iterator which only iterates over the "current" node (= the node matching the "current" label) and its subtree.
	 * 					If there were no calls of next() or previous(), current = next().
	 * 					if current label is null, an iterator over a empty list is returned (see public Iterator(Node node))
	 */
	TreeIter<A> down();

}
